Subtype polymorphism - PDFSEARCH.IO - Document Search Engine

Subtype polymorphism
Results: 217

#	Item
111	Understanding TypeScript Gavin Bierman1,? , Mart´ın Abadi2 , and Mads Torgersen2 1 2 Add to Reading List Source URL: users.soe.ucsc.edu Language: English - Date: 2014-06-20 19:14:31 Programming language theory Data types Object-oriented programming Lambda calculus Polymorphism Type system JavaScript Subtype polymorphism Type safety Software engineering Computing Type theory
112	Practical, Pluggable Types for a Dynamic Language ? Niklaus Haldiman Marcus Denker Oscar Nierstrasz Software Composition Group IAM — Universit¨ at Bern, Switzerland Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2008-09-19 08:21:59 Programming language theory Type system Type inference Subtype polymorphism Type safety Smalltalk Top type Annotation C Software engineering Type theory Computing
113	Practical, Pluggable Types? Niklaus Haldiman, Marcus Denker and Oscar Nierstrasz Software Composition Group University of Bern – Switzerland http://scg.iam.unibe.ch Add to Reading List Source URL: scg.unibe.ch Language: English - Date: 2008-04-07 14:32:54 Data types Computing Object-oriented programming Type systems Polymorphism Type inference Subtype polymorphism Type safety Smalltalk Type theory Software engineering Programming language theory
114	ArcGIS Data Dictionary Smart Meter Geodatabase Version 1.0 ● Proposed Add to Reading List Source URL: www.sparxsystems.com.au Language: English - Date: 2014-11-06 23:53:49 Stereotype Technical terminology Unified Modeling Language Target Corporation Lightweight Directory Access Protocol Subtype polymorphism ArcGIS Null Attribute Computing Software engineering Object-oriented programming
115	Gradual Typing for First-Class Classes ∗ Asumu Takikawa T. Stephen Strickland Christos Dimoulas Sam Tobin-Hochstadt Matthias Felleisen Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Programming language theory Data types Object-oriented programming Formal methods Polymorphism Mixin Type safety Subtype polymorphism Type system Software engineering Computing Type theory
116	Taming Wildcards in Java’s Type System ∗ Ross Tate Alan Leung Sorin Lerner Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2012-07-25 17:13:35 Object-oriented programming Computing Programming language theory Data types Java programming language Subtype polymorphism Type system Covariance and contravariance Inheritance Software engineering Type theory Polymorphism
117	Mixed-Site Variance Ross Tate Cornell University [removed] Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-24 11:59:54 Object-oriented programming Polymorphism Programming language theory Data types Java programming language Covariance and contravariance Subtype polymorphism Type system Wildcard Software engineering Type theory Computing
118	Generics in the Java Programming Language Gilad Bracha February 13, 2004 Contents 1 Introduction Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2006-01-19 03:15:47 Polymorphism Object-oriented programming Java programming language Type theory Data types Generics in Java Wildcard Polymorphism in object-oriented programming Subtype polymorphism Software engineering Computing Computer programming
119	THE PROGRAMMING LANGUAGE JIGSAW: MIXINS, MODULARITY AND MULTIPLE INHERITANCE by Gilad Bracha Add to Reading List Source URL: www.bracha.org Language: English - Date: 2014-10-16 10:16:40 Object-oriented programming Mixin Modula-3 Trait D Modula Subtype polymorphism Multiple inheritance Programming language Software engineering Computing Computer programming
120	Featherweight Defenders: A formal model for virtual extension methods in Java Brian Goetz and Robert Field, Oracle Corporation∗ March 27, [removed] Add to Reading List Source URL: cr.openjdk.java.net Language: English - Date: 2012-03-27 17:16:11 Object-oriented programming Java Method overriding Multiple inheritance Interface Class Subtype polymorphism Protocol Q Software engineering Computing Computer programming

UPDATE